Space Efficiency of Propositional Knowledge Representation Formalisms
نویسندگان
چکیده
منابع مشابه
Space Efficiency of Propositional Knowledge Representation Formalisms
We investigate the space efficiency of a Propositional Knowledge Representation (PKR) formalism. Intuitively, the space efficiency of a formalism F in representing a certain piece of knowledge α, is the size of the shortest formula of F that represents α. In this paper we assume that knowledge is either a set of propositional interpretations (models) or a set of propositional formulae (theorems...
متن کاملComparing Space Efficiency of Propositional Knowledge Representation Formalisms
We investigate the space efficiency of a Propositional Knowledge Representation (PKR) formalism. Informally, the space efficiency of a formalism F in representing a certain piece of knowledge α, is the size of the shortest formula of F that represents α. In this paper we assume that knowledge is either a set of propositional interpretations or a set of formulae (theorems). We provide a formal w...
متن کاملComparing Space E ciency of Propositional Knowledge Representation Formalisms
We investigate the space eeciency of a Propositional Knowledge Representation (PKR) formalism. Informally, the space ef-ciency of a formalism F in representing a certain piece of knowledge , is the size of the shortest formula of F that represents. In this paper we assume that knowledge is either a set of propositional interpretations or a set of formulae (theorems). We provide a formal way of ...
متن کاملKnowledge Representation Representation Formalisms in Machine Learning
We begin with what seems a paradox. The world of experience of any normal man is composed of a tremendous array of discriminably different objects, events, people, impressions...But were we to utilize fully our capacity for registering the differences in things and to respond to each event encountered as unique, we would soon be overwhelmed by the complexity of our environment... The resolution...
متن کاملDecidability of Class Based Knowledge Representation Formalisms
6 N-ary Relations 77 6.1 The logic Bibliography 125 4 Preface This document is the English version of my doctoral thesis 35]. It presents the research w ork I have done, mostly at the Dipartimento di Informatica e Sistemistica, Universitt a di Roma \La Sapienza", from 1992 to the beginning of 1995, under the supervision of Maurizio Lenzerini. The thesis is concerned with logic-based knowledge r...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Artificial Intelligence Research
سال: 2000
ISSN: 1076-9757
DOI: 10.1613/jair.664